Proof-theoretic notions for software maintenance
نویسنده
چکیده
In this report we give an outline how proof-theoretic notions can be useful for questions related to software maintenance.
منابع مشابه
MODULARITY OF AJMAL FOR THE LATTICES OF FUZZY IDEALS OF A RING
In this paper, we construct two fuzzy sets using the notions of level subsets and strong level subsets of a given fuzzy set in a ring R. These fuzzy sets turn out to be identical and provide a universal construction of a fuzzy ideal generated by a given fuzzy set in a ring. Using this construction and employing the technique of strong level subsets, we provide the shortest and direct fuzzy set ...
متن کاملValidity Concepts in Proof-theoretic Semantics
The standard approach to what I call “proof-theoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of proof-theoretic semantics, this paper investigates in detail various notions of prooftheoretic validity and offers certain improvements of the definitions given by ...
متن کاملThere Is Only One Notion of Differentiation
Abstract Differential linear logic was introduced as a syntactic proof-theoretic approach to the analysis of differential calculus. Differential categories were subsequently introduce to provide a categorical model theory for differential linear logic. Differential categories used two different approaches for defining differentiation abstractly: a deriving transformation and a coderiliction. Wh...
متن کاملIsovariant mappings of degree 1 and the Gap Hypothesis
Unpublished results of S Straus and W Browder state that two notions of homotopy equivalence for manifolds with smooth group actions—isovariant and equivariant— often coincide under a condition called the Gap Hypothesis; the proofs use deep results in geometric topology. This paper analyzes the difference between the two types of maps from a homotopy theoretic viewpoint more generally for degre...
متن کاملA Site-theoretic Characterization of Points in a Topological Space
In this note, we study points in the context of Grothendieck topologies (sites), especially the relationship between the points of a topological space X in the usual sense and the site-theoretic points of Xtop. We offer a new proof of a theorem of Grothendieck and Hakim, which gives necessary and sufficient conditions for the coincidence of these two notions. Whereas the original proof uses top...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 40 شماره
صفحات -
تاریخ انتشار 2000